//杨氏矩阵
#include <stdio.h>
#include <assert.h>
#define ROW 3
#define COL 4

int findnum(int a[][3], int x, int y, int f) //第一个参数的类型需要调整
{
	int i = 0, j = y - 1; //从右上角开始遍历
	while (j >= 0 && i < x)
	{
		if (a[i][j] < f) //比我大就向下
		{
			i++;
		}
		else if (a[i][j] > f) //比我小就向左
		{
			j--;
		}
		else
		{
			return 1;
		}
	}
	return 0;
}


int Is_exist(const int arr[ROW][COL], int n, int row, int col)
{
    assert(arr);
    for(int i = 0; i < row; i++)
    {
        if(arr[i][col-1] < n)
        continue;
        int flag = 0;
        for(int j = 0; j < col; j++)
        {
            if(arr[i][j] < n)
            continue;
            if(arr[i][j] == n)
            {
                flag = 1;
                break;
            }
        }
        if(flag)
        return 1;
    }
    return 0;
}

int main()
{
    int n = 0;
    int arr[ROW][COL] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12};
    scanf("%d", &n);
    if(Is_exist(arr, n, ROW, COL))
    printf("存在\n");
    else
    printf("不存在\n");
    return 0;
}